1. Logic Colloquium 2004 :
پدیدآورنده : edited by Alessandro Andretta, Keith Kearnes, Domenico Zambella
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical, Congresses
رده :
QA9
.
A1
L63a
2004